Putting Categorical Propositions Into Standard Form